


val purednf : Ast.typ Ast.logic_term -> Cub.SSAtom.t
val compile_prog : Ast.typ Ast.prog -> Cub.system
